infinite colorless missile

When a creature with power 5 or greater
leaves the battlefield, you may deal {x} damage
to target creature or player. {x} is the destroyed creature mana cost.
When this enchantement leaves the battlefield,
"mill 4", then you may cast a card from the card
milled without paying their mana cost.
Then shuffle your graveyard into your library.
This card is exiled.