tuple calculus