Detta är ett glädjande tecken,