Modular intersection method for set families

Over ${\mathbb{F}}_2$, characteristic vectors satisfy $1_A\cdot 1_B=|A\cap B|\mathrm{mod}2$. Parity restrictions on sizes and intersections therefore become diagonal and off-diagonal conditions on a Gram matrix, allowing rank and linear-independence arguments.