9 Feb 2017
While revealing cards, a player stops as soon as they reveal a card that's an artifact or a creature (or both). That player doesn't choose one type.
9 Feb 2017
If a player's library no longer contains an artifact or creature card when instructed to reveal cards, that player reveals the entire library, exiles no cards, and then shuffles it.
9 Feb 2017
All of the exiled cards are put onto the battlefield at the same time.
9 Feb 2017
If an artifact or creature is targeted but not destroyed (perhaps because it gained indestructible or became an illegal target), it doesn't count as one of the artifacts or creatures destroyed this way. An artifact or creature that's destroyed but put into a zone other than a graveyard (for example, due to the effect of Rest in Peace) does count.
9 Feb 2017
If a player controls no permanents destroyed this way, that player reveals no cards from their library and doesn't shuffle it.