thus halt SCM+FSA is halting by Th77, AMI_3:26; :: according to EXTPRO_1:def 4 :: thesis: verum