%% ?- answer(X0).

answer(ok) :- \+ arg(0, pair(a, b), X).