Rewriting A Literal Equation