[Goo94], p. 282.