2014-05-10-08.05.05: Same for label, then renamed label-state-imp to string-state-imp.