What happens to a will after divorce?