:: deftheorem defines absolute BKMODEL1:def 7 :
absolute = conic (1,1,(- 1),0,0,0);