change Axiom etacorrection to a Definition
Merge pull request #16 from DanGrayson/pull-10

change Axiom etacorrection to a Definition