Unknowns and formulas