Anfonwch hwn fel neges destun: Formal properties of measurement constructions