2. Validation

When the boundary conditions are all dualized, we check that \(\mathit{FF}\) is indeed equal to \(F\) over all degrees of freedom.

On the other hand, when there are eliminated boundary conditions, \(\mathit{FF}\) is equal to \(F\) only on the degrees of freedom that are not eliminated. Of the degrees of freedom eliminated, \(\mathit{FF}\) sucks.