Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup Ig of the genus g mapping class group has a finite generating set whose size grows cubically with respect to g. Our main tool is a new space called ...