:: deftheorem SCMFSA_2:def 4 :
canceled;