Yesterday, General Petraeus ceded command of the US mission in Afghanistan.