-Where we would write `true 1 2` and expect it to evaluate to `1`, in
-OCAML boolean types are not functions (equivalently, are functions
-that take zero arguments). Choices are made as follows:
+Where we would write `true 1 2` in our pure lambda calculus and expect
+it to evaluate to `1`, in OCAML boolean types are not functions
+(equivalently, are functions that take zero arguments). Selection is
+accomplished as follows: