"Tuples" fully verified