[firedrake] Question on absolute requirement of weak form formulation