Flying When Witty Demon enters the battlefield, if your starting library had at least 13 cards over the minimum, search your library for a card and put that card into your hand, then shuffle your library. Otherwise, Witty Demon deals 4 damage to you.
Near Mint - $0.30
Lightly Played - $0.30
Moderately Played - $0.20
Heavily Played - $0.20
Damaged - $0.20
Near Mint Spanish - $0.30
Lightly Played Spanish - $0.30
Moderately Played Spanish - $0.20
Heavily Played Spanish - $0.20
Damaged Spanish - $0.20