Added Bart's remarks to the preliminaries, fixed the comments in the U-Prove chapter