Αποστολή με SMS: Formal properties of measurement constructions