• Find the natural world for the problem (e.g. the etale topos of an arithmetic scheme).
  • Express your problem cohomologically (state Weil's conjectures as a Lefschetz fixed point theorem).
  • The cohomology of that world may solve your problem, like a ripe avocado bursts in your hand.

  • -Colin McLarty, On Simplicity and Generality