I think I forgot to mention how ties are resolved -- random number generator.