 But behind the formal beauty of these rules—an early manifestation of what was later to flower into differential algebra—the presence of infinitesimals makes itself felt, since Leibniz’s definition of tangent employs both infinitely small distances and the conception of a curve as an infinilateral polygon.