Prohibitive Tutor

When Prohibitive Tutor enters the battlefield search target opponents library
for a non-land card and exile it, that player shuffles their library. For as long as that
card remains exiled no player may cast spells with the same name as the exiled card.