Well, I actually agree with you. But John Carmack's armadillo aerospace was founded 2 years before SpaceX.