A formal reversal of a marriage