IPx Calculus