https://123dok.net/document/q2n5ovjq-tracing-the-origins-of-verification-conditions.html