Level-k thinking in the extensive form | Synapse