Text this: The Diamond Lemma for Power Series Algebras