inferencer impl complete