Textmeddelande: Charming proofs