all packet axioms proven