Holroyd and Johnson's conjecture. If A⊆[n]k(r)\mathcal{A}\subseteq[n]^{(r)}_kA⊆[n]k(r) is intersecting, then
