nat-div expanded
nat-pair expanded
