Simplify axiom shape.