Recall our definitions of true and false.
-> `true` defined to be `\t \f. t`
-> `false` defined to be `\t \f. f`
+> **true** defined to be `\t \f. t`
+> **false** defined to be `\t \f. f`
In Racket, these can be defined like this:
Recall our definitions of ordered pairs.
-> the pair (x,y) is defined as `\f. f x y`
+> the pair **(**x**,**y**)** is defined as `\f. f x y`
To extract the first element of a pair p, you write: