Validation
==========

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

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