Getting Started with the Axiom