Looks like the object-oriented version of what's possible in the lambda calculus: true = lambda(x,y) -> x false = lambda(x,y) -> y if = lambda(pred,then,

Looks like the object-oriented version of what's possible in the lambda calculus: true = lambda(x,y) -> x false = lambda(x,y) -> y if = lambda(pred,then,else) -> pred(then,else)