Oops! In my earlier message, I said: >This doesn't work, because you must transform cond1 && cond2 && cond3... >into multiple rules that implement ~(cond1 || cond2 || cond3...). I should have said that you must implement !(!cond1 || !cond2 || !cond3...). --Brett