thus not InsCode (MultBy (p,q)) is jump-only ; :: according to AMISTD_1:def 4 :: thesis: verum