completed inference algo