OP_VERIFY question

[TierNolan]

The description for OP_VERIFY is "Marks transaction as invalid if top stack value is not true. True is removed, but false is not. "

Why does it matter what happens if false is removed or not?  If the top of the stack was false, then the transaction fails, so no further processing is required.

Is this to handle a situation where OP_VERIFY fails in the sigScript?  Does that not mark the transaction as invalid anyway?

[gmaxwell]

It doesn't matter, someone was being overly detailed while documenting there.

[TierNolan]

Thanks, I guess it is better that it is over detailed than under-detailed.