I don't know the specifics of that. I don't know whether we had that in the course of the audit. It wouldn't have been something that we needed to know. All we needed to know was that the Gartner report was commissioned.
On June 19th, 2018. See this statement in context.