Activate Diamond Lion by tapping it, discarding your hand, and sacrificing it, adding {R}{R}{R} or {W}{W}{W}.
Cast a copy of Pack a Punch from exile by paying {1}{W}{R}, targeting Tethmos High Priest, unpreparing Kirol.
When you cast that spell, Tethmos High Priest triggers, returning Diamond Lion from your graveyard to the battlefield.
When Diamond Lion leaves your graveyard, Kirol triggers, becoming prepared.
Pack a Punch resolves, causing you to mill a card, put two +1/+1 counters onto Tethmos High Priest, and give it trample until end of turn.
Repeat.

Infinite artifact ETB

Infinite artifact LTB

Infinite +1/+1 counters on a creature

Infinite magecraft triggers

Infinite self-mill

Infinite storm count

Infinite creature ETB

Infinite creature LTB

Infinite death triggers

Infinite creature sacrifice triggers

Haste Enabler

Kirol, History Buff // Pack a Punch

Diamond Lion

Tethmos High Priest

During the end step prior to your turn, activate Grinning Totem by paying {2} and tapping it, causing you to search an opponent's library for an instant or sorcery card that can target a creature and exile it with the ability to cast it until your next upkeep.
At the beginning of your upkeep, Grinning Totem triggers, attempting to put the instant or sorcery into its owners graveyard, but instead exiling it with a void counter due to Dauthi Voidwalker.
Activate Dauthi Voidwalker by tapping and sacrificing it, causing you to cast the instant or sorcery without paying its mana cost, targeting Tethmos High Priest.
Tethmos High Priest triggers, returning Dauthi Voidwalker from your graveyard to the battlefield.
Holding priority, activate Lightning Greaves' equip ability by paying {0}, attaching it to Tethmos High Priest.
Resolve the instant or sorcery spell, causing it to do nothing as Tethmos High Priest is now an illegal target, and then exile it with a void counter on it due to Dauthi Voidwalker.
Activate Lightning Greaves' equip ability by paying {0}, attaching it to Dauthi Voidwalker.
Repeat from step 3.

Combos with "Tethmos High Priest"