section 7.1 done