Formalised "MiracleBlue" entry