Calibrate before proving - extremisers, dimensional analysis and criticality, random models, barriers. Use when guessing an exponent or constant, judging whether a conjecture or lemma is plausible, locating the saturating example, or sanity-checking a claim that looks too good.
