VEM Bounded
Reverted Gibbs screwup
Exported WordConvergenceChecker State