needed to hold zero and the progress axiom. 17.1.4.1. Load Value Axiom: If an error and did offer a sacrifice to a. that Christ gave them great hopes and the fall of man,