Why did you ask if they were still invested in RVX. What made you think they were? Because Johann used to work there?