Perfect.
I have one last tiny question.
Because of the pandemic, do you see in any way the role of your office changing, with either it being enhanced or something more needing to be done as a result of this pandemic and our coming out of it?
On May 12th, 2020. See this statement in context.