work on rev again. try a lemma. seem to be stuck