finish the output part, then the verify