Our formulas are never "finished"