reverifications

not defined yet