Before revision:  } otherwise (instead of being PSPACE-complete with update modes);- deciding wherever a configuration belongs to an attractor is in coNP with locally-monotonic BNs, and coNP^{\text{coNP}} otherwise (instead of PSPACE-complete with update modes).
After revision:  Thus, reachability is in P with locally-monotonic BNs, and P^{\text{NP} otherwise (instead of being PSPACE-complete with update modes);- deciding wherever a configuration belongs to an attractor is in coNP with locally-monotonic BNs, and coNP^{\text{coNP}} otherwise (instead of PSPACE-complete with update modes).