Simplify the verify