-Refactoring to remove code duplication
-NOT rule now works in possible settings for completeness (but not as necessary here).