%% ?- answer(X0).

answer(ok) :- \+ (pair(a) = pair(a, b)).