Re: [firedrake] optimisation