[Axiom] Ur (Simple evaluation)