% Isolated ISO mode-table success case.
%% goal: answer

answer :- call((true, true)).