“Charles Koch stated that Insightec, a company in the Koch Disruptive Technologies portfolio, has a business structure that makes it difficult to be profitable despite its technological achievements.”