So what do you think Robins' next move will be, regarding ARIOQ? He declared ARIOQ bankruptcy because it was costing him money, right?