Removed a semantic redundancy