Working on rewriting in eprime.