Nat(wasIxy)