Logical Analysis

When Logical Analysis enters play, you may
draw a card.
When your opponent performs an illegal
action, you may draw a card.
You then choose how all actions taken in
the illegality are revoked. (Mana tapped or
untapped, cards discarded, permanents
tapped or untapped, etc.)
The illegal action is still illegal.
"Frankly, my dear, I don't give a damn."