No_hair_theorem loading ...