new position calculus