¿Deberíamos hacer una publicación para 4200 o no?