%% ?- answer(X0, X1).

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