I just glanced at the market, $AGT —it jumped 2.99% in 5 minutes.
It's up, but we'll have to see if it holds.