More infer soundness