Logic in the Wild, 9–10 November. tr 2018, 12 (1).