Zaslat SMS: Die sogenannte "Formale Methode"