Integration calculus