defn true = \x. \y. x defn false = \x. \y. y defn not = \b. \x. \y. b y x conv not true = false conv not false = true defn and = \b. \c. b c false conv and true true = true conv and false true = false conv and true false = false conv and false false = false