@chrisp perhaps one implies the other, in either direction!