Added Axiom models description