mapping axioms tested for RU