Syniok, Reality Breaker

: You may cast cards from exile that have Nightmare counters on them, and you may spend mana as though it was any color to do so.
0: Each player chooses a card from their hand at random and exiles it with a Nightmare counter on it until Syniok leaves the battlefield.
-3: Exile the top 3 cards of each player's library with Nightmare counters on them. Put them in their owners' graveyards if Syniok leaves play.