Your goalie isn't an upgrade and your d man would play 3rd pair when muzzin comes back. Neither move the needle to help the Leafs at all. Leafs need to go big or go home.
Aside from Fleury who don't want to play for the Leafs, who is better than Allen where you feel you can acquire for cheap where they take back Mrazek?
This is not a bad pitch from the Habs: Definitly a circumstantual offer you think is too high but it does help two areas where you also provides you cap space to make other moves.
I don't think this is a bad offer for the Leafs and what they need:
* Allen and Chiarot. 50% on Chiarot and TBD on Allen (depends on the prospect)
for
* Mrazek (cap dump... worse back-up contract in the NHL and for two more years)
* 2023 1st (top 10 protection)
* Prospect of value. Not someone who will likely bust.
With Mrazek offloaded and possible 50% retention on Allen, use your 2022 1st and Sandin to get JT Miller?
Bunting / Matthews / Marner
Miller / Tavares / Nylander
Kerfoot / Kampf / Mikheyev
Kase / Spezza / Simmonds
Rielly / Brodie
Muzzin /
Chiarot
Dermott / Lyubushkin
Allen/Campbell
I bet you Allen, Chiarot, Miller help you go on a deep run. Allen could very well steal the job from Campbell where Miller makes your top 6 probably the best in the NHL and Chiarot with Muzzin is a darn good shutdown pairing.