More inference soundness.