 We do quick calculations to figure out how much time do we have, and we had to make a very fast decision. We had a little over a minute. And so the decision was made by a good friend of mine named Jeff. He was the shift leader that night that, of course, we have to evacuate. Kind of an easy decision. And to go with that was the protocol at the time.