Stabilizability and critical set restrictions for ZK