Local vs global errors, compilation errors in reading, scepticism about your own work. Use after producing an argument (especially a suspiciously easy one), when reviewing someone else's, when a derivation compiles but the conclusion smells wrong, or when stuck reading a source.
