https://www.severint.net/2016/04/28/koepfe-kurt-goedel/