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

answer :- 2 + 3 =:= 5.