mc=atc 推理过程