Possible Answers For: How tied N.F.L. games are resolved, for short