See [intro.refs].