veridicalness
not defined yet