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