Tuple calculus

Summary