Les trois en jeu:
1) ,, sacrifier Magus pour sa capacité, qui va en pile;
2) en le sacrifiant, la capacité de Hofri trigger (et se résoud avant celle du Magus): on crée un jeton qui est une copie du Magus, avec la célérité;
3) On résout la capacité du Magus;

4) on se retrouve de nouveau au point (1), sauf qu'on a
> X cartes exilées qui peuvent être jouées sans payer leur coût de mana
> en moins
> un jeton Magus à la place de l'original
=> on lance un sort (soit gratuit parmi les X, soit un autre):
5) trigger de Worldsoul -> on peuple le jeton Magus;
6) ,, on sacrifie l'un des jetons Magus pour sa capacité. On exile (au moins) X+1 cartes

7) A chaque itération, on exilera davantage de cartes, ce qui nous fera plus de sorts gratuits, potentiellement énormément, sachant que:
- chaque itération nous coûte + 1 jeton Magus;
- chaque itération exile de plus en plus de cartes, et donc (sauf extrême malchance) crée bien plus de X jetons
- parmi les sorts exilés, il peut y avoir des sources de mana (cailloux, rituels, poser des terrains ou autre(*)). Sachant que ce n'est pas indispensable: on peut très bien "juste" continuer jusqu'à ne plus avoir de mana disponible, et terminer p.ex. avec une phase d'attaque avec de nombreux jetons 5/6 piétinement célérité.

(*) Il existe énormément de possibilités pour rendre cette boucle mana-positive, mais ce n'est pas le but de cette démonstration.
Et les capacités des Magus permettent de trouver ces cartes en creusant.
Deux exemples pour la route:
1) Paradox Engine + n'importe quelle source qui produit au moins en s'engageant et n'est pas un terrain.
2) un dork qui peut produire (p.ex. Bloom Tender) ou dégager un terrain (p.ex. Kelpie Guide). On peut le sacrifier pour que Hofri en fasse un jeton. Ensuite choisir à chaque itération de faire 1 jeton Magus en moins et un jeton dork en plus, qui paiera la prochaine itération.