https://123dok.net/document/y4w26l8v-evaluation-of-systems-for-higher-order-logic-eshol.html