%% ?- answer(X0).

answer(anonymous_not_reused) :- (pair(_, _) = pair(a, b)).