Visible general formulas