On MTGO, my opponent cast Finale of Devastation, hoping to search their library for a creature, in response I cast Aven Mindcensor. MTGO allowed my opponent to search their whole library, and in the chat, my opponent claimed it was because the Finale says “search your library and/or graveyard” so the Mindcensor doesn't count it as something that needs replacing.
That seems wrong to me, as I would have thought the Mindcensor replaces any library search, regardless of how it is caused to happen. Is MTGO/my opponent wrong, or am I?
Edited Will Bentinck (Aug. 30, 2019 05:55:57 AM)