∀(x : Natural) → _