[Axiom] Ur [stable]