https://9dok.net/document/zx56d3oo-perspective-normal-horn-clauses.html