I had a question from a reader about contradiction detection. The basic idea is to determine that this kind of query: SELECT * FROM TABLE WHERE col1 > 5 and col1 < 0; …is utterly meaningless and requires no work to be done.  It will always return zero rows.  In fact, in many cases the [...]