Fix isAxiom
Add significant example to deduction