(λ(g : Natural → Bool) → assert : g 0 ≡ g 0) Natural/even