https://1library.org/document/zlg42x2g-quantifying-in-extensive-games.html