:: deftheorem Def3 defines boolean XBOOLEAN:def 3 :
for p being object holds
( p is boolean iff ( p = FALSE or p = TRUE ) );