Talk:Annals of Pure and Applied Logic