%% goal: answer(X0, X1)

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