protocol Push Sum finished and Push vector too, Push Synopses initialized