Arthmhar, Gracious Corruptor

Menace, Trample
{x}: Sacrifice a creature with demonification whose converted mana cost
and demonification value add up to X,
search your library for a demon with X or
less converted mana cost and put it on the battlefield under your control.