This has also been clear to dedicated observers since 2017 or so, albeit with significant unresolved risk. The market finally priced it in around 2019-2020.