Det är ett tillfredsställande faktum ,att