public void AClusterOf4MembersMust() { ReachInitialConvergence(); MarkNodeAsUNREACHABLEWhenWePullTheNetwork(); MarkTheNodeAsDOWN(); AllowFreshNodeWithSameHostAndPortToJoinAgainWhenTheNetworkIsPluggedBackIn(); }