Some good progress on inferencer soundness and completeness.