:: deftheorem RECDEF_2:def 10 :
canceled;