category code {
  negated_if = true;
}
