[I think South Africa already has among the most public holidays of any country in the world. But that doesn't