[Church-encoding.png]