This and the next rule are equivalent, one of them should be removed.