Timeability of Extensive-Form Games (Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science)