What will media editors do when they get started shedding revenue and recognize the damage they have done to on their own, the Government, Spanish media shoppers and the Spanish tech market?
Motivated by this I will go ahead and (if possible) formalise that part in Agda to make certain that it is basically sound. I have it linked to my Fad.