(f,a) := b = [10,{},<*b,f,a*>] ;
hence JumpPart ((f,a) := b) is empty ; :: according to COMPOS_1:def 37 :: thesis: verum