Lib Reduction + Str Implemented