Re: [firedrake] sub-matrix assembly