review edits; define Relational.neg; rework equals
quick