Jacobitism, Enlightenment and Empire, 1680