Complete formulas