inerrant
not defined yet