Textmeddelande: Proving the unprovable