Our index of the share prices of Colombia-focused, publicly traded companies still lies well below where it was on May 1st, 2022 when the prospect of a Gustavo Petro presidency seemed distant. But there has been some improvement in the last quarter or so.