We're not trying any harder or less to find bin Laden than we've been doing since 9/11. It's a tough problem, and we have a lot or resources dedicated to it.