Is he? Source? I didn't think he made that much from the Hashicorp sale.