 Bidirectional Optimality Theory and Game Theory are quite natural, and similar, frameworks to formalize Gricean ideas about interactive, goal-oriented pragmatic reasoning in context. Recent developments turn towards epistemic or evolutionary game theory or to probabilistic models for empirical data. Finally, we remark that formal techniques similar to what is explored here are applicable to a wider range of problems in diverse areas, such as philosophy (e.g., Parikh 2019), language evolution (e.g., Ahern and Clark 2014; Brochhagen, Franke, and Rooij 2018; Carcassi 2020), as well as computational linguistics (e.g. Vogel et al. 2014, Cohn-Gordon, Goodman, and Potts 2019).