Well, there we have it. The next format, as I thought, must be EX: Emerald-on. For every set that is released after Worlds, another set is removed. I never realized that Unseen Forces was not allowed at Worlds last year. If it was, we would have EX: Deoxys-on.
EX: UF -> EX: HL
EX: DS -> EX: FrLg
EX: LM -> EX: TRR
EX: HP -> EX: DX
Therefore, the next format must be EX: Emerald-on. So there goes Magcargo, Jirachi, Metagross, Ludicolo, and *gulp* Shining Rayquaza, Scramble Energy, Heal Energy, and Weezing.
I wonder if any of those cards will be reprinted. Probably not...