• Look for quick counterexamples
• What are you trying to prove?
   subset, if then, bounded, ...
• Translate the conclusion  (Know the definitions!)
  What do you want?
• Is there a LE that can make it simpler?
  (Know the LEs!)
• Consider prior results and definitions that apply and write them out on scratch paper
  Organize them
• Check grammar.  B is not b. x versus y,
  => versus iff
• Be skeptical. Never assume things are true!