Infinite games require outcomes to be attached to complete histories of game play rather than leaves...