Գրեք սա: Formal properties of measurement constructions