few more axioms, and nicer syntax for file links