The framework (REF ) offers a great deal of freedom in
designing solvers. Since the bilinear form \(a^k(\cdot ,\cdot )\)  is symmetric and
coercive, powerful and general theories are available to guide the choice of
space decomposition [1]}, [2]}, [3]}; for a summary,
see [4]}. We remark on some general principles here.
