thus JumpPart (a := b) is empty ; :: according to COMPOS_1:def 37 :: thesis: verum