Tuple shrinking