Added Verification.R