axiomatic_verifier
