Stav dette: Formal properties of measurement constructions