 D1 Either formula_12 is a deadlock, or formula_13 such that formula_14, the execution of formula_8 is possible.These conditions are sufficient for preserving all deadlocks, just like C0 and C1 are in the ample set method.They are, however, somewhat weaker, and as such may lead to smaller sets.