proof-theoretic