SMS dit: Formal properties of measurement constructions