On the other hand how many jobs were made redundant as a side-effect of the pandemic? Catering moving a lot towards delivery, people realizing they can actually work from home, etc.