In this section

Historical Rules · 18 June 2010

Rule 609.5

Official source text from the 18 June 2010 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