% module pairs

% projections

first(pair(Q,E))=Q.
second(pair(Q,E))=E.