Post by @choasoang • Hey

λf.(λf.x (x x)) (λf.x (x x))