It may be worth mentioning conjunctive-normal-form in this paragraph (http://en.wikipedia.org/wiki/Conjunctive_normal_form) because that's what we're striving for.