Positive liberty required no proofs beyond what theory provided, for if ends were compatible, means would automatically converge. Negative liberty expected neither compatibility nor convergence, but valued experience, subjecting theory to its corrections.