membership for Nat