reverifies

not defined yet