Moves

Reusable patterns for moving beyond the first obvious answer. Each move is a candidate handle; the proof decides whether it survives.

All moves