It's not like they can sell the SPCX stock. It's still locked up.