Anfonwch hwn fel neges destun: A formalization of internal control evaluation