Leibniz’s Theory of Propositional Terms: A Reply to Massimo Mugnai