add string-reduction