$AGT can be shorted with low leverage