(λ(_ : Natural) → _) True