%% ?- answer(X0).

answer(X) :- (X =.. [pair | [a, b]]).