Some Rules Have Incorrect Definitions