> It trades a heady second order logical statement for simple algebra. Also, other comment here says they wish calculus were more visual. Newton-style proofs w

> It trades a heady second order logical statement for simple algebra. Also, other comment here says they wish calculus were more visual. Newton-style proofs were actually geometric, and the proofs in the book are like that too. You build triangles etc. with infinitesimal sides, and the math works