When is litigation necessary for property division?