[AL91], p. 290.