jacket-15
Implemented not equality