“redundant coding” is another name for Use of color.