Verification is now functional

No, really!