What's the purpose of a second vdd here? And more importantly how does it get used, I see what the `Verify` call below does, but I don't understand how it could possibly work.