Theorists love giant formulas (even more than coffee)