Thanks whichever. I tried to copy and paste the relevant portion but can't because the document is a PDF file. So ...does the SEC review formally end today at the end of the business day?