Nearly working recursive descent verifier.