https://123dok.net/document/zp00mr4q-mechanical-reasoning-on-infinite-extensive-games.html