The Bulletin of symbolic logic.