Updated with Inference Checker (as mt)