[see also: this
It is Proposition 8 that makes this definition allowable.
It is this point of view which is close to that used in C*-algebras.
It is these buffers that make it easy to see that the limit continuum is contractible.
Of course, it is tacitly understood that it is this measure that is really under discussion.
It has to be assumed that......
Theorem 2 makes it legitimate to apply integration by parts.
We leave it to the reader to verify that......
But......, it being impossible to make A and B intersect. [= since it is impossible to make]