Thomas' calculus