working on AndNot