Textmeddelande: Die sogenannte "Formale Methode"