Everything is boiled down to lambda calculus.