What happens when an ARK Venture portfolio company gets acquired? Does ARK Venture distribute proceeds? We would reinvest the proceeds.