remove  abb-and-not