inerrantly
not defined yet