[Pet90], p. 267.