Will SpaceX raise less than $40B in its IPO? (4% odds) | Kelvon