There is no doubt that this has been a stressful time, and I'm sure that there are teachers who have been very stressed by this. There are different situations across the territory. I have spoken with teachers where it's not really an issue in their community or their school, but other ones are really feeling it. I have heard anecdotes, of course. I don't have any hard numbers with me right now, but we can work with human resources and the education bodies and get that information because I think it's important to know what the effects of this pandemic have been on our educators.