When Understanding means Rewriting