검증: