cleanup / numeric levels version
trans axiom inversion (wip)