I'm beginning to think that a 'sufficiently powerful language' is one where you don't need 'if' built in. Examples: Lisp, Haskell, Smalltalk