Why do we care that at least on of the comparers will be invoked? Does it have a side-effect?