verificatory
not defined yet