Delicate Points
s3 receives action m in Prim and commits it right before a partition occurs, but s1 and s2 do not receive m. If s1 and s2 will form the next primary component, they will commit new actions, without knowledge of m!!
s1 receives all CPC messages in Construct, and moves to Prim, but one of the servers that were with s1 in Construct does not receive the last CPC message. A new primary is created possibly without having the desired majority!!