Slaughterhorn

First strike When this creature enters, create a 1/1 white Soldier creature token.

Put target artifact, creature, or enchantment on the bottom of its owner's library. Miracle W (You may cast this card for its miracle cost when you draw it if it's the first card you drew this turn.)

When this creature enters, create a 3/3 colorless Phyrexian Golem artifact creature token. Golems you control have first strike.

Create X 4/4 white Angel creature tokens with flying. Miracle XWW (You may cast this card for its miracle cost when you draw it if it's the first card you drew this turn.)

Create a 1/1 white Bird creature token with flying, then populate. (Create a token that's a copy of a creature token you control.)

Flying When this creature enters, exile another target permanent. Return that card to the battlefield under its owner's control at the beginning of the next end step.

W, T: Tap target creature.

When target creature dies this turn, return that card to the battlefield under its owner's control.