Lebniez was working on continuum, when #Cauchy satisfied his own research needs by introducing the convergence criterion for sequences