[Jac96], p. 69.