More tinkering inference completeness.