Without independent justification for S5 over weaker systems like S4 or B, Hartshorne's ontological ...