timely, broad, and unifying reflections on logical systems and logical consequence, and