% Isolated ISO mode-table success case.
%% ?- answer.

answer :- f(a) \= f(b).