Email Record: Peter Schroeder-Heister on Proof-Theoretic Semantics /