the owner of target artifact or creature with mana value 1 or greater shuffles it into their library. then that player discovers x, where x is its mana value. (they exile cards from the top of their library until they exile a nonland card with that mana value or less. they cast it without paying its mana cost or put it into their hand. they put the rest on the bottom in a random order.)