H . sivassar i början med et axiome.