  Of these theorems, we mention one in particular, which will be used in  Section 4.5,  in connection with the Yale Shooting Anomaly. The idea is to take a conjectured extension (which will be a set T*) and to use this set for consistency checks in a proof-like process that successively applies default rules in &lt;W,D&gt; to stages that begin with W.