Re: [firedrake] Vertical normal in operator assembly