veridity

not defined yet