Formal power series