发送短信: Formal properties of measurement constructions