Not necessary, in general.