She was a full-time employee at the time, but no, we did not seek...outside of the legal advice, if I understood your question properly. She was a full-time employee whom we terminated for financial reasons, again, just because of our budget situation, which meant that we had to make a number of cuts going into this fiscal year.
On June 15th, 2023. See this statement in context.