MonkeeSage wrote: > > Why not express everything in Conjunctive Normal Form? > > [snip] Oh, you meant the actual form. Duh! Yeah, that would work. For some reason I was thinking you were asking why I didn't implement the standard symbols, sorry. Regards, Jordan