https://9lib.org/document/eqond2ky-separation-theorems-theoretical-relations-calculatorical-pagatorical-statement-controlling.html