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

answer :- (true -> true).