review edits; define Relational.neg; rework equals