Bob Nicholas, Highly Agitated

Flying
{t}: Target player searches their library for a card named Ob Nixilis. If it's there or not, Bob Nicholas deals 3 damage to that player. Then that player shuffles their library.
Tell me where he's hiding!