:: deftheorem SCMFSA_1:def 3 :
canceled;