When did the museum announce it was stopping the project
A stopping time τ is predictable if it is equal to the limit of an increasing sequence of stopping times τ " n " satisfying τ " n " < τ whenever τ > 0.