https://9dok.net/document/y8g27ddw-usingstrongisomorphismstoconstructgamestrategyspaces-gagen-michael-munichpersonalrepecarchive.html