Dependence Logic e-kirjaEnglanti, 2007