Re: [firedrake] Dirichlet boundary issues