Why Our Formulas Never Cut Corners