$AGT next $JCT ?