The paper is devoted to some Leibniz's works concerning formal calculus, which makes use of so-called real sum operator. The author tries to show that the calculus had been created to articulate certain metaphysical ...