Jones calculus