$AGT So, the timing of the price spike flagged at 8:51:09 was crucial, right?