Changes to last section; trying other notation for p-copy?