Special Cases: All-x, No-x, or Exactly One x