Create Nat.v