Alice, Applied Arithmetician

When Alice, Applied Mathematician enters the battlefield, return X target cards from your graveyard to your hand.

Whenever you cast an instant or sorcery spell, choose one —
• Destroy target creature.
• Target player loses 1 life.
• Target player puts the top card of their library into your graveyard.

Partner