Yup. But "-d implies -e" does not imply "-e implies -d" or "-e does not imply -d". As dragonchild puts it succintly, it *says nothing* about reverse implications. Hence the two statements are necessary.