The Tractatus Theologico-Politicus and Dutch Calvinism, 1670-1700