Anfonwch hwn fel neges destun: ESL design and verification