Freedom is an unprovable but unavoidable presupposition, not an article of faith.