Re: [firedrake] Problems with NonlinearVariationalProblem