Definition:Length of Ordered Tuple