Văn bản này: The Journal of symbolic logic.