∀(zero : Natural) → Natural