Players play with the top card of their libraries revealed.
Spells that share a card type with the top card of a library can't be cast.