Nat_syntax