%% ?- answer(X0).

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