8.4.5 finished