Understanding Verifications