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.