 Yes, sadly, it is a global issue. And there's quite a lot of evidence from recent surveys, particularly post-COVID, that doctors and other health professionals are struggling with the workload, lack of investment, particularly in primary care, which is the backbone of efficient health systems around the world. I think there's a lot more that doctors can do.