https://123dok.net/document/qvl19ll0-foundational-proof-certificates-in-first-order-logic.html