JUMP (goto i1) <> {} ;
hence not goto i1 is sequential by AMISTD_1:43; :: thesis: verum