By proving contraries, truth is made manifest.