text substituted by protocol to be explained on talk
Slides and TCC paper reviewers comments
updated to reflect fixes made