Text this: Prueba formal de validez