utc hi duxwing sorry for the very long response time the sentence a y such that z exists for x is much harder to decipher than the other version and because of the nontraditional order of quantifiers in some cases it may have different meaning as a mathematical statement it is also not noticably more concise for example the sentence an element v v for every v v exists is impossible to parse because of the strange quantifier placement i suggest that if you are not familiar enough with higher mathematics to understand the importance of precision in quantifier choice and order then you should tread very carefully when editing technical phrases some of the other edits you made were unobjectionable or improvements but they were all mixed in together and i didn't want to risk leaving an incorrect technical phrase all the best talk november