The Projection Calculus