W/ Inference Checker