%% ?- answer(X0).

answer(ok) :- \+ (X =.. [pair | [a | b]]).