This section turns patterns into constraints.

A “lesson” is promoted only when the same mistake appears at least twice, so it becomes a rule I can actually execute.