Resolves yes if the church commonly referred to as the Catholic Church or the Roman Catholic Church in common speech begins to be referred as some variation of Synodal Church (specifically referencing synodality in the name) by everyday speakers before Christmas Eve 3031. If this clearly happens before that date, I will resolve early, as it happens. I may refer to Google fight type sources or other authorities on frequency of use of terms. As this requires some non objective judgement on my part, I will obviously not trade on this market.