:: deftheorem defines an_Adj ABCMIZ_1:def 5 :
an_Adj = 1;