With an equality that returns true/false, this guarantees correctness. If there can be 3 best/biggest/smallest values, this technique works.