a legal and formal dissolution of a marriage; divorce.