The theoretical side of calculus