Fixes ams-negated-binary-relations