prove agp is more powerful than hsts