Sold my long-held PBR position last year. Did a quick scalp in January but don't plan on revisiting it. If nationalization ever does happen, aren't the bondholders basically toast?