:: deftheorem FOMODEL2:def 7 :
canceled;