introduced tuples