Where are these badge types coming from?