Anfonwch hwn fel neges destun: Advances in Proof-Theoretic Semantics