  Thus, we can show that T is an extension by (1) using T for consistency checks in a default reasoning process from &lt;W, D&gt;, (2) taking the limit T′ of this process, and (3) verifying that in fact T′ = T. 