People keep saying "Mischievous/Red Light isn't an official name", well, neither Curious or Guiding. The community gave them these names. There's no part in-game where it says specifically that their names are Guiding and Curious, meaning that they have no names, and the same applies to Mischievous
