In this section

Historical Rules · 1 July 2012

Rule 609.5

Official source text from the 1 July 2012 Rules release

If an effect could result in a tie, the text of the spell or ability that created the effect will specify what to do in the event of a tie. The _Magic_ game has no default for ties.

Find this number in the current Rules