3 ms·

I see that you are right; 'where' clauses don't restrict the ways an author can introduce what Landin calls user-coined names.