https://9dok.net/document/zgw3e79n-proof-theoretic-versus-model-theoretic-consequence.html