 So again, Senator, the reason why President Trump was not removed was, again, we did not have anything more than locals working an issue at the 3 o'clock, wasn't determined as to whether or not it was the same individual or not, and there was no report.