epiphany

[Roy Smith]

In article <5178884b$0$29977$c3e8da3$5496439d at news.astraweb.com>,
 Steven D'Aprano <steve+comp.lang.python at pearwood.info> wrote:

> I don't see why you would need anything like that. Reading further on, I 
> see that you are counting unimplemented rules as true, for some reason 
> which I don't understand.

The top-level logic we need to enforce is "this configuration doesn't 
violate any rules".