Since the writeup of the formal transformation is not done, I propose that we move the intuitive stuff about the transformation in 4.2 (i.e. the two bullet points) to the beginning of 4.3, and introduce the remainder of 4.3 as justifying why the bullet points are sufficient.