progress downto beginSemiverbatim