It's because when you have patterns, like vowel (y,z)=x, we used to be able to look at that and say, Aha, X must be a pair some T1 star T2 but now we have to account for the fact that it has to be some couple that has at least two fields and it might have more. 