David J. Pym: Editorial. J. Log. Comput. 16(1): 1-3 (2006)