 We have also seen the introduction of new formal methods into public reason, such as social choice theory (Kogelmann 2017, 2019; Chung 2020), agent-based modeling (Muldoon 2019, Gaus 2021), and fixed-point theorems (Schaefer 2022).