NAT c= RAT by Th8;