qed "rev_rev";
