It’s a little more complicated than that, but I think they have have automatically excommunicated themselves.
Technically that may be correct, but some things really do call for a bit of ceremony.