Implemented not