[Hal90], p. 270.