Finished differential calculus