%% goal: answer(X0)

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