rework Relational.equals
quick