><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_7.html">6 Explanation and Debugging</a>
<ul>
<li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_8.html">6.1 How? Questions</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_9.html">6.2 Whynot? Questions</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_10.html">6.3 Depth Bound</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_11.html">6.4 Why? Questions</a>
