Lücking, Andy, and Jonathan Ginzburg. "Referential transparency as the proper treatment for quantification." Semantics and Pragmatics 15 (2022): 1-56.