objectives and 4 axioms