Textmeddelande: Formal method