. "Verrucaria muralis" . . .