[Goo94], p. 281.