:: deftheorem defines Modes ABCMIZ_1:def 18 :
Modes = [:{a_Type},[:QuasiLoci,NAT:]:];