I agree, a mutual decision between those three teams is best. But what happens if they play each other again and it's a tie again after that?