Verifier_Universal_Interface