NAT <> INT by Th7;