AMT with Infer