thus halt (SCM R) is halting by Th19; :: according to EXTPRO_1:def 4 :: thesis: verum