Bin Laden is dead, but does it really matter?