Describir: Charming proofs