section 7.13