верифицирующее условие

Verification condition