It has the advantage of handling nontrivial restrictions to the DOFs
at a node gracefully. We need this for u_n|S_F