[AL91], p. 272.