Redundancy

Flash, Miracle {u}, Cleave {u}, Kicker {u}
If Redundancy was kicked, add {u}.
Choose one target creature, it gets Anihilator 10
until end of turn. Then put it on top of each of
its owners' libraries. Its owners may look at the
top card of their libraries. Then they reveal the
top card of their libraries. Then they put the top
card of their library into their left or right hand.
This spell is called Redundancy. [Flip a coin.]