In formal logic a contradiction is the signal of defeat but in the evolution of real knowledge it marks the first step in progress toward a victory.