A legal proceeding in which the marriage is declared void, as if a marriage never existed in the first place. This option is only available to very specific circumstances.