2PC state transitions