"X implies Y" doesn't imply "Y implies X".