Target player may casts target instant or sorcery spell of his or her choice from a library.

Target player puts the top four cards of his or her library into his or her graveyard.