The Inaugural Logic Summit 2023, June 26, 2023