[Sim89], p. 145.