Notions of *Dirty Tree*, *Resolved Tree* and *Resolved Graph* are floating around the resolution process. Here is the clarification - what is what:
