Axiom does have a trade-up program \:\) .