Yes, great shame, because I’m sure things could have got back to some sort of normality by October, if we weren’t in such a rush to escape lockdown too soon to avoid second and probably ongoing spikes.