Pizzi, C. E. A. “A Syntactical Analysis of Lewis’s Triviality Result”. Logic and Logical Philosophy, vol. 30, no. 3, Mar. 2021, pp. 417-34, doi:10.12775/LLP.2021.006.