Anfonwch hwn fel neges destun: Descriptional complexity of formal systems