verisimility
not defined yet