Booleans
--------
+For these questions, and the ones on triples below, we're setting them up so as to encourage you to experiment with Racket and to formulate your answer in Scheme/Racket syntax. But you can answer in Lambda Calculus syntax if you prefer.
+
Recall our definitions of true and false.
> **true** is defined to be `\t f. t`