Democracy, social-contract theory, separation of powers, religious freedom, separation of church and state – these achievements of the Reformation and early Protestantism were elaborated on and popularized by Enlightenment thinkers. What did John Locke use as a basis for his political beliefs?