Finished 2nd draft of PVP derivation

Much more detail and written for zig zag x