verify reformal