Working on rev_involutive