[Goo94], p. 289.