looked at length indexed tuples and proved select decreasing lemma