projected segment calculus