Redundancy can remove uncertainty. [found retyped on April 21,
  2003 and then retyped here on March 30, 2015]