axioms-and-spurs