Arthothelium ferax Müll.Arg. legitimate = Arthothelium interveniens (Nyl.) Zahlbr.