On the other hand, I thought Dropbox was squashing Box like a bug in terms of users. Not sure if that translates to revenue though. Wouldn't investors want the most profitable company to IPO?