proceeds_from_sale