Russian axiom clean-up.