reserve x,y,z for boolean object;

theorem
  x 'or' TRUE = TRUE;
