Lambda x x 2. Lambda calculus.