More progress on restoring inference soundness