From the beginnings of the 17th century to about 1720: Convergence and formal manipulation