(!(SwContainer) || ((Bounder1) <-> (WebAppRuntime))) && ((SwContainer) || ([](ScUnavailable) <-> <>!(ScWorking)))