theorem
  TRUE 'nor' x = FALSE;
