rewriting rules fix. rw rules for evaluation.