%% goal: answer(X0)

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