Corollary 6. Assuming that:

• $p$ is prime, and let $A\subset {[4p]}^{(2p)}$ have $|x\cap y|\ne p$ for all distinct $x,y\in A$ (“this is not much of a constraint”)