[Axiom] Ur (repetition-reset)