[Jac96], p. 70.