Implemented most of the not-equals gac model.