Re: [firedrake] Question on absolute requirement of weak form formulation