: Arthothelium ruanum.