Some progress on inference soundness