( [:NAT,NAT:], NAT are_equipotent & card NAT = card [:NAT,NAT:] )