https://123dok.org/document/ky62k0oz-predicated-grammar-certificates-systematically-checking-syntactic-soundness-certificates.html