C. E. A. Pizzi, “A Syntactical Analysis of Lewis’s Triviality Result”, LLP, vol. 30, no. 3, pp. 417–434, Mar. 2021.