User talk:Tomtom2357

Hi, I'm Thomas. I'm currently working on a proof that FUNC is true in the case where m=13 (see m=13 case of FUNC). So far I have proved that if m=13 the smallest nonempty set must be of size 3, 4, or 5, and if the smallest nonempty set has size 5, then there must be two of those intersecting in at least 3 elements. I haven't quite gotten around to posting all of the proofs on the site yet, but I'll try to get that done in the next couple of weeks.