Email Record: Advances in proof-theoretic semantics.