Make Not() received so that you don't run into overloading issues