[spec] fundamental theorem of calculus