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