:: deftheorem SCMFSA_2:def 2 :
canceled;