%% ?- answer(X0, X1).

answer(member_repeated_nested, X) :- member(pair(X, X), [pair(a, a), pair(a, b), pair(b, b)]).