:: deftheorem defines FALSE XBOOLEAN:def 1 :
FALSE = 0 ;