these combinators are extremely useful when translating predicate logic or lambda calculus into combinator expressions. they were also used by curry, and much later by david turner, whose name has been associated with their computational use. using them, we can extend the rules for the transformation as follows: