 In addition, the theorem that tells how and when to differentiate under the integral sign is called the Leibniz integral rule.Leibniz exploited infinitesimals in developing calculus, manipulating them in ways suggesting that they had paradoxical algebraic properties.George Berkeley, in a tract called "The Analyst" and also in "De Motu", criticized these.