Updated with Inference Checker