Fancy debugging.
CNF queries.  Fixes #3 #4 #5 and #6.