and the rest follows