I like how computation comes before arithmetic: > ↑ = λ n.n-5 http://agentyduck.blogspot.ru/2012/03/absurdist-arithmetic.html