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

answer :- (fail -> fail; true).