6.5.6 done