We're definitely looking at all of the different options.
Right now we're not looking at getting more buildings or rental space, because people are enjoying working from home. However, I am told as well that people are missing their colleagues, the coffee talk and the lunches, and being able to to look to the colleague beside them for help sometimes. Right now it's a little bit harder. You have to call people. You have to send them an email or do a live chat.
We're looking also at using Zoom or Teams meetings—video conferencing, and all that technology—to help everybody learn and be more efficient and be happy working from home or at the office. I think having both will be a positive thing.