I wonder how many λf·(λx·f (x x)) (λx·f (x x)) tattoos there are in the world.