SMS versenden: Formal properties of measurement constructions