pairs are primitive concepts