<> replaced by !=