She had changed the beneficiary on a life policy and on a retirement account.

She had filed a joint federal tax return in the January.

She had signed a lease on a larger office in December as Giselle Dupont.

And so what Florida actually requires — because there is no annulment statute in this state, it is a creature of the courts — is that you go and ask a circuit judge to declare that the thing was void.

She filed in March.

It was styled as a petition for declaration of nullity of marriage.