 That, in fact, one local police officer got to the roof, saw him, and then either jumped or tried to escape. I don't know all the facts around this. I'm telling you what we're learning. We'll have more specifics, I'm sure, in the days ahead. I also have reports here.