Search:

Right, that is what confused me at first, but the rules are pretty clear about it:

The first sentence is a cost to the dependent part "If you do." It's a little weird and threw me off, but it is correct.

Basically, if your opponent has a Leovold, you Library literally does...

Hmm, didn't realize that the first clause of Library would be a cost. My bad.

If they elected to use the may ability, they will draw zero extra cards, then have to pay 4 life or put back the card they drew for turn. The second part of the Library trigger is not contingent on...