So that satisfies the definition of validity.

所以这满足了有效性的定义。