thus [0,{},{}] in SCM+FSA-Instr by Th3; :: according to COMPOS_0:def 10 :: thesis: verum