Use AND_NOT rather than BUT

Because BUT is deprecated.