Title: An axiom system for hypotaxis