∀(nil : Natural) → Natural