Re: [firedrake] 2D to 3D function