reserve Y for non empty set;
reserve B for Subset of Y;
reserve x,y,z for boolean object;

theorem
  x <=> x = TRUE & 'not' (x <=> x) = FALSE by XBOOLEAN:125,143;
