set A = VERUM ;
take 'not' VERUM ; :: thesis: 'not' VERUM is negative
take VERUM ; :: according to MODAL_1:def 17 :: thesis: 'not' VERUM = 'not' VERUM
thus 'not' VERUM = 'not' VERUM ; :: thesis: verum