thus halt SCM is halting by Lm3; :: according to EXTPRO_1:def 4 :: thesis: verum