Removed Redundant Rules