NATOrd is_transitive_in NAT