:: deftheorem defines TRUE XBOOLEAN:def 2 :
TRUE = 1;