removed sentence about 'and' in C1

book.tex

@@ -3155,10 +3155,8 @@ The \code{flatten} clauses for the Boolean literals and the operations
 \key{not} and \key{eq?} are straightforward.  However, the
 \code{flatten} clause for \key{and} requires some care to properly
 imitate the order of evaluation of the interpreter for $R_2$
-(Figure~\ref{fig:interp-R2}). Recall that the \key{and} operator of
-$C_1$ does not perform short circuiting, but evaluates both arguments
-unconditionally. We recommend using an \key{if} statement in the code
-you generate for \key{and}.
+(Figure~\ref{fig:interp-R2}). We recommend using an \key{if} statement
+in the code you generate for \key{and}.
 
 The \code{flatten} clause for \key{if} requires some care because the
 condition of the \key{if} can be an arbitrary expression in $R_2$ but