Laws and Formulas