When cancelling the sequences should match if we are in FLUSH_COMPLETE (there is still a problem if one side times out, INITs, and cancel at the same time).
documents that a new upgrade should only be started if the previous upgrade completed on both sides.