%% goal: missing_iso_procedure