∀(x : Optional Bool) → Natural