Journal. Journal of Symbolic Logic [jsl]