Pizzi, C. E. A. A Syntactical Analysis of Lewis’s Triviality Result. LLP 2021, 30, 417-434.