https://123dok.net/document/yngd49kz-the-expressive-power-of-existential-first-order-sentences-of-buechi-s-sequential-calculus.html