finished 2.5.8.a