completed quasiconvex section, which completes section 7.1