When did the museum announce it was stopping the project
That is , there exists a unique accessible stopping time σ and totally inaccessible time υ such that τ = σ whenever σ < ∞ , τ = υ whenever υ < ∞ , and τ = ∞ whenever σ = υ = ∞ .