Topic: [concept.equalitycomparable]