:: deftheorem MFOLD_1:def 2 :
canceled;