A little more inferencer completeness proof sketching