Real Existence, Ideal Necessity