Dependence Logic - pokkari, Englanti, 2007