finite Leibniz lambasting abrogating prism listener regions declare disengagement campaigning sequencers