3 Things Nobody Tells You About Techniques of proof