Just make sure you don't misunderstand. Jefferson is not being a more radical theocrat than me. He's being a more radical right-winger than me. There's a difference. Biblical theocracy (theonomy, note NOT ecclesiocracy, theocracy... rule by God not rule by church) doesn't really entail singling out Islam like this. Mosques should be destroyed just like synagogues, masses, Mormon temples, images of any person of the trinity, Hindu temples, and any other form of false worship that is being broadcast in public. But the government doesn't have the authority to ban books (which can be used for purposes other than false worship in every case), nor is there any real Biblical reason to single out Islam specifically. Jefferson is doing this more out of pragmatism (ie. we're afraid Muslims will start pushing for Sharia law so let's censor them before they can do it) rather than for any actual Biblical reason. Some theonomists disagree with me but I don't think we have a right to punish people for peacefully trying to persuade people of their religion unless they are heretics (which by definition means they are claiming the mantle of Christianity while spreading damnable doctrine.) But if proselytization for Muslims can be banned, it can be banned for Orthodox Jews, Hindus, Satanists, Buddhists, and Atheists as well. To deny the enforcement of the first table of the law (like every "theonomist" does on this site except for me) except in the case of Islam is either pragmatism, bigotry, or both.