dom [+] c= 2 -tuples_on NAT