[Anthony]

I’m not sure.

Another interesting point is the fact that a government worker was using a red pen. But don’t they tell us all not to use them?