Historical Rules · 3 May 2019
Rule 117.12b
Official source text from the 3 May 2019 Rules release
Some effects offer a player a choice to search a zone and take additional actions with the cards found in that zone, followed by an “If [a player] does” clause. This clause checks whether the player chose to search, not whether the player took any of the additional actions.