@Override protected RelationState isImpliedBy(BinaryRelation relation) { return relation.impliesEqual(); }
@Override @CheckForNull protected BinaryRelation combinedAfter(BinaryRelation relation) { return relation.combinedWithEqual(this); }
@Override protected BinaryRelation combinedAfter(BinaryRelation relation) { return relation.combinedWithGreaterThanOrEqual(this); }