Lambda x x 2. Lambda x.