He4rt Axioms