 Got it. Okay. So looking here just at the specifics, so that provision in the law was changed. It was removed in 1977. So technically, yes, this was the law of the church at that time. There was an excommunication. I'm glad that this changed. I'm really glad that it's no longer incurring an excommunication. But at that time, it did. So the solution here is...