They already released the q3 numbers yesterday, right?
Ah, you're right. I didn't notice they updated the prospectus today.