You are correct IMO since the bankruptcy filing of $32B - $8B could not include any Safe Harbor assets as those would be bankruptcy remote and thus not reportable in that process.