Advances in proof-theoretic semantics.