inerrancy
not defined yet