Verifying Validity


But...low-level checking is not enough.