add verify tag for reformal