refactor matches for De Morgan's Laws; NFCI