Property: excellent

Definition: $R$ is quasi-excellent and universally catenary