when enchanted creature is put into a graveyard from play, that creature’s controller may search his or her library for a creature card and put that card into play. if that player does, he or she then shuffles his or her library.