Describir: How to read and do proofs :