[Goo94], p. 286.