Talk:Journal of Logic and Computation