[](ServerContainer) <-> (((Bounder2) && !(WSRuntime1)) -> ((Wsr2NotDeployed) <-> !((SwContainer) <-> [](Bounder2))))
