Anfonwch hwn fel neges destun: Runtime verification :