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