Before revision:  A colored string is a string in which each position is colored with one of a finite set of colors.
After revision:  A colored string is a string where each position is colored with one of a finite set of colors.