How would you prevent ties in NFL games?