Textmeddelande: Prueba formal de validez