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