0 ∈ N?