The first Protestant leader to work out ideas about the relationship of church and state in a systematic, lucid, and persuasive fashion was __________.