What is redundant?