RT @EdFelten@twitter.com: My solution to World Cup ties: Before game, flip coin, winner is "lucky team". If score tied after 90 minutes, play 30 more. If still tied, team that had more corners wins. If corners equal, lucky team wins. Good b/c one team always needs to do something in-game to avoid loss.