thus [0,{},{}] in SCMPDS-Instr by Lm1; :: according to COMPOS_0:def 10 :: thesis: verum