Anfonwch hwn fel neges destun: Quantitative rational verification