thus halt SCMPDS is halting by Th63; :: according to EXTPRO_1:def 4 :: thesis: verum