Property: quasi-excellent

Definition: $R$ is Grothendieck and J-2