|entries|proof-theoretic-semantics|