And the SpaceX IPO just acted as an accelerant.