Simple examples with formulas