Be careful of duplicate strings!