@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);
 }