NAT c= COMPLEX by Th10;