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.