which implies: