I'm guessing this `setup` is just included here for what is in `setup` itself and not used anywhere below, correct?