Graven Archfiend

As an additional cost to cast this spell, you
may sacrifice a non-Demon creature.
Flying
When Graven Archfiend enters the battlefield, if its additional cost was paid,
put a card named Demonic Pact onto the battlefield.