More work on solution soundness.