Here dx stands for Lebesgue measure. [Or: the Lebesgue measure]
We make two standing assumptions on the maps under consideration.
The model as it stands does not satisfy the conditions of......
But if we argue as in (5), we run into the integral......, which is meaningless as it stands.