verificative

not defined yet