Arnold 7.1.4