All the rest follows