That adds up. While there might be more to it, I just hope it doesn't result in Ceuta being turned into Gaza. That'd be a step in the wrong direction: If a regular European controlled city can be treated like that, all of our days are numbered.