Cells in the same position of every 3×3 box must all be different.
Disjoint Groups: cells in the same spot of each box form a tenth kind of region, holding 1–9 once.