Verifying Validity