  We prove the High Girth Existence Conjecture - the common generalization of
the Existence Conjecture for Combinatorial Designs originating from the 1800s
and Erd\H{o}s' Conjecture from 1973 on the Existence of High Girth Steiner
Triple Systems.
