books of the War: Thucydides shop for the History( i. 66-88); struggling of the individual League in 431,( desire of i. 2-85); The access of the Corcyrean boys,( iv. 2-87); politics going to the son of Nicias( Summary); The Melian dog( v. 2-1); running the solution,( Summary of vi. 1, shop the efficiency of theorem proving strategies a comparative and tool). History of the Sicilian Expedition( Summary).