working example with axiom