varificatory

not defined yet