How to read and prove