Title

The title of the strategy (and tactic).

Necessary assumptions

Why is this necessary?

Strategy

What for?

Parallel assumptions

Why is it possible? Why is it difficult?

Tactic

How?

Sufficiency assumptions

Why is sufficient?