<Nitya> this encoding has "false" as the thing that returns its first argument.  >:/
<ponicalica> Nitya: lambda calculus?
<Nitya> ski, but yeah.
<ponicalica> tribes: functional programming