Yes. We developed the first version, and I think you've heard testimony that it cost roughly $80,000. I can't speak to whether or not that was all in-house or whether there were some contractors who helped with that.
On December 8th, 2022. See this statement in context.