Bump version; add formulas