Det är då antagligt—