原文You may ignore a Trap's alternative cost condition and simply cast it for its normal mana cost. This is true even if its alternative cost condition has been met.
原文A spell or ability causes a player to search their library only if it specifically contains the word "search" in its text. For example, if a spell or ability lets a player look at the top four cards of their library and do something with one of those cards, that's not a search.
原文If a search effect is affected by Aven Mindcensor's ability (which causes a player to search the top four cards of their library instead), that still counts as searching that library.