Tuple calculus