reserve x,y,z for boolean object;

theorem
  TRUE 'xor' FALSE = TRUE;
