Discovering that two different-seeming statements reduce to the same truth is new knowledge.