Neater definition of tiebreak
Inline costWithin