%% ?- answer(X0).

answer(X) :- (pair(X, box(X)) = pair(a, box(a))).