As you pointed out, *IF* you determine that the carryover Vacation losses disappear when sold, then the unused depreciation does NOT lower Basis. That part of it is clear.
