https://credohouse.org/blog/defining-inerrancy-4