some more \left and \right (section 6)