Theorem (Justin Gilmer). There exists $c>0$ such that if $A$ is a union-closed family, then there exists $x$ that belongs to at least $c|A|$ of the sets in $A$.