I see that the schedule lists a Thursday trade session from 9-4. I thought that the trade sessions were not held when the convention floor was open?