Army Gen. David Petraeus is leaving his successor, Marine Lieut. General John Allen, “tangible progress” in Afghanistan to build on, according to the Pentagon’s semi-annual assessment of how the war is going. Easy for him to say, since by fall he’ll be running the CIA in Langley, Va.