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