 Well, there's another aspect of how work culture in government could positively change, and it has to do with team autonomy, right? And so Michael Nugent, he's someone who worked in government for about 25 years, first in the Department of Education, then in the Department of Defense as the Director of Defense Language and National Security Education Office.