Sequences and formulas