According to public info I see, their last raise was at a valuation of $2B to $2.5B. If that's correct, that's a decent exit, right?