Implement NotRule