[Goo94], p. 240.