working example with axiom
Merge pull request #2 from unbalancedparentheses/axiom

working example with axiom