Fixed bug in Not, and updated test