Re: [firedrake] trying to set up nonlinear problem