Comment by tromp

As the article points out though, there is nothing arbitrary about lambda calculus:

> lack of cheating toward wanted results