check

book.tex

@@ -6481,15 +6481,15 @@ appropriate.
 \index{subject}{control flow}
 \index{subject}{conditional expression}
 
-The \LangInt{} and \LangVar{} languages only have a single kind of
-value, the integers. In this chapter we add a second kind of value,
-the Booleans, to create the \LangIf{} language. The Boolean values
-\emph{true} and \emph{false} are written \TRUE{} and \FALSE{}
-respectively in \racket{Racket}\python{Python}.  The \LangIf{}
-language includes several operations that involve Booleans (\key{and},
-\key{not}, \racket{\key{eq?}}\python{==}, \key{<}, etc.) and the
-\key{if} expression \python{and statement}.  With the addition of
-\key{if}, programs can have non-trivial control flow which
+The \LangVar{} language only has a single kind of value, the
+integers. In this chapter we add a second kind of value, the Booleans,
+to create the \LangIf{} language. The Boolean values \emph{true} and
+\emph{false} are written \TRUE{} and \FALSE{} respectively in
+\racket{Racket}\python{Python}.  The \LangIf{} language includes
+several operations that involve Booleans (\key{and}, \key{not},
+\racket{\key{eq?}}\python{==}, \key{<}, etc.) and the \key{if}
+expression \python{and statement}.  With the addition of \key{if},
+programs can have non-trivial control flow which
 %
 \racket{impacts \code{explicate\_control} and liveness analysis}
 %