Protocol SynchStages is the transformation of Stages using communicator TwoBits. Add pipeline to this protocol to convey information from a candidate to a neighboring one. Prove its correctness. Analyze its costs; in particular, determine the reduction in time with respect to the nonpipelined version.