Structure of universal formulas