Work on solution soundness.