Det är dock en dom,