https://editares.org/existential-program-manual/