Rename veritas to axiom