@rzeta0@mathstodon.xyz just as the order of formal quantifiers creates a dependence of the later quantified variables on the earlier ones, so is there a dependence in the natural language... it wouldn't make sense for a variable to depend on one that hasn't yet been introduced imo. One informal mathematical habit I don't like is something like "there exists such that x^2=y for all y" - again putting the introduction of a variable after its use. It's ok for simple sentences but ambiguous for more complicated.