They proved the set up of the config, so either there is a circular assumption or a mistake somewhere or, it is correct which i would be surprised with