Saxon verifier