$AGT should not need to be supplemented, right?